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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - pathInSystem
pathInSystem

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2719-2721
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2723-2723 The number 1 argument of path in system is an instance of transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2724-2724 The number 2 argument of path in system is an instance of transit system
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2722-2722 path in system is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2725-2725 path in system is a subrelation of part

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1915-1915
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1914-1914
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1913-1913
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2745-2745 route in system is a subrelation of path in system
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44778-44778
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44777-44777
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44776-44776

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2806-2819
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2727-2737


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