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


KB Term:  Term intersection
English Word: 

  ForestDegradation

Sigma KEE - PortableComputer
PortableComputerportable_computer

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


s__documentation(s__PortableComputer, s__EnglishLanguage, "A Computer that is designed to be tranferred easily by a Human from one location to another_") Mid-level-ontology.kif 31436-31437
s__subclass(s__PortableComputer, s__Computer) Mid-level-ontology.kif 31435-31435 PortableComputer is a subclass of Computer

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


s__subclass(s__Laptop, s__PortableComputer) Mid-level-ontology.kif 31449-31449 Laptop is a subclass of PortableComputer
s__subclass(s__SmartPhone, s__PortableComputer) Mid-level-ontology.kif 31476-31476 SmartPhone is a subclass of PortableComputer
s__subclass(s__TabletComputer, s__PortableComputer) Mid-level-ontology.kif 31456-31456 TabletComputer is a subclass of PortableComputer
s__termFormat(s__EnglishLanguage, s__PortableComputer, "portable computer") domainEnglishFormat.kif 65335-65335 TabletComputer is a subclass of PortableComputer

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


(s__instance(V__PC, s__PortableComputer) => s__hasPurpose(V__PC, ( ? [V__T, V__H] : ((s__instance(V__T, s__Carrying) & s__instance(V__H, s__Human) & s__patient(V__T, V__PC) & s__agent(V__T, V__H)))))) Mid-level-ontology.kif 31439-31447


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