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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Laptop

Sigma KEE - Laptop
Laptop

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31464-31465
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31463-31463 LaptopPortableComputersubclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31467-31467 ComputerKeyboard 的例子总是 Laptopinitially part 的例子
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31468-31468 ComputerScreen 的例子总是 Laptopinitially part 的例子
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 802-802 MacbookLaptopsubclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 787-787 Macbook AirLaptopsubclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 772-772 Macbook ProLaptopsubclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65092-65092 Macbook ProLaptopsubclass

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3779-3785
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3762-3768


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