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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Passport

Sigma KEE - Passport
Passport(passport)
passport

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16558-16559
No TPTP formula. May not be expressible in strict first order. pictureList.kif 658-658
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16557-16557 Passport is a subclass of license

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44724-44724
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44723-44723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44722-44722

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16561-16575


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