Falling - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Falling

Falling

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3062-3063
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11605-11607
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1830-1831
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6000-6000
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11603-11603	Falling est une sous-classe de MotionDownward
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11602-11602	Falling est une sous-classe de Translocation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11229-11229	Precipitation est une sous-classe de Falling
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13106-13106	Sinking est une sous-classe de Falling
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23176-23176
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23175-23175
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23174-23174

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 11609-11614

Processus est une instance de Falling processus a pour origine objet processus aboutit � objet
objet est Below � objet

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3397-3425	WearableItem est une instance de SafetyHarness animal est une instance de animal animal porte WearableItem WearableItem a pour but entit� entit� and entit� entit� est une instance de processus WearableItem est un instrument pour entit� animal est un patient de entit� entit� est une sous-classe de la classe d�crite par entit� entit� previent l'occurrence de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16410-16426	Dizzy est un attribut de entit� pendant position temporel entit� croit position temporel2 position temporel2 prend place pendant position temporel Standing est un attribut de entit� pendant position temporel2 entit� entit� est une instance de Falling entit� exp�rimente entit� position temporel2 rencontre temps d'existence de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1349-1369	Processus est une instance de BreakingWave processus objet, entit� and transf�re processus est une instance de WaterWave processus est un sous-processus de processus objet est une instance de BodyOfWater entit� est une instance de BodyOfWater entit� est un patient de processus objet est un patient de processus transf�re est une instance de Falling objectTransferred transf�re and objet objet est une partie de entit� pendant le d�but de temps d'existence de transf�re objet est une partie de entit� pendant la fin de temps d'existence de transf�re
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5472-5483	Entit� est une instance de Felling processus processus, objet and objet processus est une instance de couper objet est un patient de processus objet est une instance de BotanicalTree processus est le resultat de processus processus est une instance de Falling objet est un patient de processus objet est une instance de PlantStem objet est une partie de objet

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners