Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - path
path

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3000-3001
No TPTP formula. May not be expressible in strict first order. Merge.kif 10383-10385
No TPTP formula. May not be expressible in strict first order. Merge.kif 10380-10380 The number 1 argument of path is an instance of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10381-10381 The number 2 argument of path is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 10375-10375 path is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 10376-10376 path is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 10379-10379 path is a subrelation of event partly located

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 575-575
No TPTP formula. May not be expressible in strict first order. english_format.kif 583-583
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 576-576
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44742-44742
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44741-44741

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26013-26022
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1391-1401
No TPTP formula. May not be expressible in strict first order. Cars.kif 3909-3919
No TPTP formula. May not be expressible in strict first order. Cars.kif 3921-3937
No TPTP formula. May not be expressible in strict first order. Cars.kif 1070-1090
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1259-1263
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14364-14368
No TPTP formula. May not be expressible in strict first order. Cars.kif 4062-4077
No TPTP formula. May not be expressible in strict first order. Merge.kif 10387-10398

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 871-885
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2003-2012
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1173-1185
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1609-1613
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2949-2954
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2956-2964
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2660-2665
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2667-2672
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2644-2650
No TPTP formula. May not be expressible in strict first order. Sports.kif 959-968
No TPTP formula. May not be expressible in strict first order. Sports.kif 998-1006
No TPTP formula. May not be expressible in strict first order. Cars.kif 2679-2687
No TPTP formula. May not be expressible in strict first order. Cars.kif 2857-2886
No TPTP formula. May not be expressible in strict first order. Cars.kif 3034-3042
No TPTP formula. May not be expressible in strict first order. Cars.kif 2704-2717
No TPTP formula. May not be expressible in strict first order. Cars.kif 3276-3291
No TPTP formula. May not be expressible in strict first order. Geography.kif 5365-5370
No TPTP formula. May not be expressible in strict first order. Cars.kif 3834-3850
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2306-2308
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2302-2304
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12360-12366
No TPTP formula. May not be expressible in strict first order. Merge.kif 10824-10833
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1464-1472
No TPTP formula. May not be expressible in strict first order. Communications.kif 185-200
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22019-22027

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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