HumanBaby - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - HumanBaby

HumanBaby(人类宝贝)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 373-373
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3123-3123
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3122-3122
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3124-3124
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2965-2965
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 31-31
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 372-372	人类宝贝是人类的孩子的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28845-28845
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28844-28844
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28843-28843

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1270-1278	如果群体是一群人的 instance 和有认知的主事是那个群体的 member 和物理是那个群体的 member 和那个物理是人类宝贝的 instance 和那个有认知的主事是人类成人的 instance 和实体是 Crib 的 instance，然后那个有认知的主事对那个实体感兴趣
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1890-1900	如果生物是另一个生物的 parent 和那个另外生物是人类的孩子的 instance 或那个另外生物是人类宝贝的 instance，然后有存在实体这样那个实体是 ChildCareService 的 instance 和那个生物 desires 那个实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 375-380	如果实体是人类宝贝的 instance 和那个实体的 age 是实数年持续时间在时间位置 holdsDuring，然后那个实数是 lessThanOrEqualTo 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 382-390	如果实体是人类宝贝的 instance 在时间位置 holdsDuring，然后有存在另一个实体这样那个实体的 age 是那个另外实体在那个时间位置 holdsDuring 和那个另外实体是由 0 年持续时间和 1 年持续时间之间的值的 instance

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 392-397	如果实体是人类的 instance 和那个实体的 age 是实数年持续时间在时间位置 holdsDuring 和那个实数是 lessThanOrEqualTo 1，然后那个实体是人类宝贝的 instance 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1872-1881	如果服务是 ChildCareService 的 instance，然后有存在生物和另一个生物这样那个生物是人类的孩子的 instance 或那个生物是人类宝贝的 instance 和那个另外生物在那个服务中提供服务和那个生物是那个服务的 patient 和那个另外生物不是那个生物的 parent
No TPTP formula. May not be expressible in strict first order.	Communications.kif 258-284	如果工程组件是 BabyMonitoringSystem 的 instance，然后有存在另一个工程组件和第三工程组件这样那个第三工程组件是无线电接收器的 instance 和那个另外工程组件是设备的 instance 和那个第三工程组件是那个工程组件的 component 和那个另外工程组件是那个工程组件的 component 和那个工程组件的目的是有存在实体，另一个实体,，，第三实体,，，第四实体,，，第五实体,，，第六实体， and 和第七实体这样那个实体是人类宝贝的 instance 和那个另外实体是人类的 instance 和那个实体是 located 在那个第四实体和那个另外实体是 located 在那个第五实体和那个第四实体不 equal 那个第五实体和那个第六实体是维护的 instance 和那个实体是那个第六实体的 patient 和那个另外实体是那个第六实体的 agent 和那个另外工程组件是 located 在那个第四实体和那个第三工程组件是 located 在那个第五实体和那个第三实体是放射声音的 instance 和那个第三实体是 located 在那个第四实体和那个第七实体是无线电发射的 instance 和那个第三实体是那个第七实体的 patient 和那个第七实体在那个第三工程组件结束和那个另外工程组件是那个第七实体的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3944-3951	如果物理是 Crib 的 instance，然后那个物理的目的是有存在实体这样那个实体是人类宝贝的 instance 和睡着是那个实体的 attribute 和那个实体是 located 在那个物理

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