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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - humanCapacity

appearance as argument number 1

(documentation humanCapacity EnglishLanguage "(humanCapacity ?CONSTRUCT ?NUMBER) means that the StationaryArtifact ?CONSTRUCT, e.g. a Building or a Room, can hold a maximum of ?NUMBER Humans without crowding.") Mid-level-ontology.kif 6335-6337
(domain humanCapacity 1 StationaryArtifact) Mid-level-ontology.kif 6333-6333 humanCapacity 的 1 数量 是 固定人工制品instance
(domain humanCapacity 2 PositiveInteger) Mid-level-ontology.kif 6334-6334 humanCapacity 的 2 数量 是 正整数instance
(instance humanCapacity BinaryPredicate) Mid-level-ontology.kif 6331-6331 humanCapacity二元谓语instance
(instance humanCapacity SingleValuedRelation) Mid-level-ontology.kif 6332-6332 humanCapacity单值关系instance

appearance as argument number 2

(format EnglishLanguage humanCapacity "%2 is %n a human capacity of %1") domainEnglishFormat.kif 312-312
(relatedInternalConcept capacity humanCapacity) Mid-level-ontology.kif 6317-6317 capacityhumanCapacity 是 内部相关
(termFormat EnglishLanguage humanCapacity "human capacity") domainEnglishFormat.kif 5226-5226 termFormat EnglishLanguage, humanCapacity and "human capacity"

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners