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

Formal Language: 



KB Term:  Term intersection
English Word: 

  path

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 11015-11017
No TPTP formula. May not be expressible in strict first order. Merge.kif 11012-11012 The number 1 argument of path is an instance of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11013-11013 The number 2 argument of path is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 11007-11007 path is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 11008-11008 path is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11011-11011 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 580-580
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 44749-44749
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44748-44748

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29694-29703
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1422-1432
No TPTP formula. May not be expressible in strict first order. Cars.kif 3893-3903
No TPTP formula. May not be expressible in strict first order. Cars.kif 3905-3921
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. Sports.kif 294-301
No TPTP formula. May not be expressible in strict first order. Sports.kif 280-287
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 17603-17607
No TPTP formula. May not be expressible in strict first order. Cars.kif 4046-4061
No TPTP formula. May not be expressible in strict first order. Merge.kif 11019-11029

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 1202-1214
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 2942-2947
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2949-2957
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6555-6567
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2653-2658
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 2637-2643
No TPTP formula. May not be expressible in strict first order. Sports.kif 1107-1116
No TPTP formula. May not be expressible in strict first order. Sports.kif 1146-1154
No TPTP formula. May not be expressible in strict first order. Cars.kif 2665-2673
No TPTP formula. May not be expressible in strict first order. Cars.kif 2843-2872
No TPTP formula. May not be expressible in strict first order. Cars.kif 3020-3028
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15468-15483
No TPTP formula. May not be expressible in strict first order. Cars.kif 2690-2703
No TPTP formula. May not be expressible in strict first order. Cars.kif 3262-3277
No TPTP formula. May not be expressible in strict first order. Geography.kif 5491-5496
No TPTP formula. May not be expressible in strict first order. Cars.kif 3818-3834
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2335-2337
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2331-2333
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15500-15506
No TPTP formula. May not be expressible in strict first order. Merge.kif 11492-11501
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1494-1502

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


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