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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Outside
Outside(outside)exterior, outside

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7952-7954
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7950-7950 Outside is an instance of positional attribute

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7951-7951 Inside is the opposite of outside
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43699-43699
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43698-43698
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43697-43697

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7964-7967 An object is outside to another object if and only if the object is not partly located in the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 862-871
No TPTP formula. May not be expressible in strict first order. Geography.kif 851-860
No TPTP formula. May not be expressible in strict first order. Hotel.kif 932-945
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7956-7958

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2652-2663
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1022-1030
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1037-1045
No TPTP formula. May not be expressible in strict first order. Cars.kif 4366-4373
No TPTP formula. May not be expressible in strict first order. Cars.kif 4692-4703
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9056-9066
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7969-7972


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