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


KB Term:  Term intersection
English Word: 

  CodingScheme

 Sigma KEE - PortableComputer
PortableComputer(portable computer)portable_computer

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


(subclass PortableComputer Computer) Mid-level-ontology.kif 32146-32146 Portable computer is a subclass of computer
(documentation PortableComputer EnglishLanguage "A Computer that is designed to be tranferred easily by a Human from one location to another.") Mid-level-ontology.kif 32147-32148 Portable computer is a subclass of computer

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


(subclass Laptop PortableComputer) Mid-level-ontology.kif 32160-32160 Laptop is a subclass of portable computer
(subclass TabletComputer PortableComputer) Mid-level-ontology.kif 32166-32166 Tablet computer is a subclass of portable computer
(subclass SmartPhone PortableComputer) Mid-level-ontology.kif 32178-32178 Smart phone is a subclass of portable computer
(termFormat EnglishLanguage PortableComputer "portable computer") domainEnglishFormat.kif 65345-65345 Smart phone is a subclass of portable computer

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


(=>
    (instance ?PC PortableComputer)
    (hasPurpose ?PC
        (exists (?T ?H)
            (and
                (instance ?T Carrying)
                (instance ?H Human)
                (patient ?T ?PC)
                (agent ?T ?H)))))		 Mid-level-ontology.kif 32150-32158 If X is an instance of portable computer, then X has the purpose there exist Y, Z such that Y is an instance of carrying, Z is an instance of human, X is a patient of Y, and Z is an agent of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners