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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Laptop
Laptop

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29596-29597
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29595-29595 Laptop e' uma sub-classe de PortableComputer

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29599-29599 initiallyContainsPart ComputerKeyboard and Laptop
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29600-29600 initiallyContainsPart ComputerScreen and Laptop
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 802-802 AppleMacBook e' uma sub-classe de Laptop
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 787-787 AppleMacBookAir e' uma sub-classe de Laptop
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 772-772 AppleMacBookPro e' uma sub-classe de Laptop
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65100-65100

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3784-3790
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3767-3773


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