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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Laptop
Laptop(laptop)laptop, laptop_computer

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29545-29546
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29544-29544 Laptop is a subclass of portable computer

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29548-29548 Instance of computer keyboard are always initially part of instances of laptop
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29549-29549 Instance of computer screen are always initially part of instances of laptop
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 802-802 Macbook is a subclass of laptop
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 787-787 Macbook Air is a subclass of laptop
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 772-772 Macbook Pro is a subclass of laptop
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65098-65098

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