Please enable JavaScript.
Coggle requires JavaScript to display documents.
Knowledge representation (Planification (Posibility axiom, Effect axiom,…
Knowledge representation
Ontologic engineering
Representation of abstract concepts
Superior ontology
General framework
General purpose
Unification
Truth maintenance
Justification
Logical minimization
Values on properties
Measurements
Objects
Composed objects
Categories
Objects
Predictates
Heritage
Subclasify
Taxonomies
Disjunction
Exahustive descomposition
Substances
Individualization
Segregation of objects
Matter and substance
Countable matter
Uncountable matter
Default reasoning
Closed world assumption
Unique names assumption
Category reasoning
Semantic nets
Existential graphs
Multiple heritage
Object oriented programming
Mental
Objects
Events
Teorem
Proposition actitudes
Reification
Processes
Liquid events
Generalized events
Subevents
Planification
Posibility axiom
Effect axiom
Frame problem
Frame axiom
State-succesor axiom
Unique-name axiom
Unique name asumption
Situaton calculation
Situation
Logical terms
Flows
Functions
Eternal
Events calculation
Flow calculation
Intervals
Online shopping
Knowledge
Circunscription
Default logic