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 8684-8686
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8682-8682 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 8683-8683 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 8696-8699 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 8688-8690

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2662-2673
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1035-1043
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1050-1058
No TPTP formula. May not be expressible in strict first order. Cars.kif 4353-4360
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9080-9092
No TPTP formula. May not be expressible in strict first order. Cars.kif 4672-4683
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11146-11156
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8701-8704


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