TreeView Knowledge Base Browser - HumanAdult

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HumanAdult

HumanAdult(人類成人)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 183-184
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2964-2964
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3121-3121
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3118-3118
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3119-3119
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 178-178	子類人類成人 and Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 181-181	子類人類成人 and LegalAgent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28839-28839
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28838-28838
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28837-28837

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 367-385	breathingRate AutonomousAgent, TimeInterval and Integer 例 TimeInterval and Minute Integer 例 Integer and RecreationOrExercise agent Integer and AutonomousAgent 期間 TimeInterval and 何時 Integer 持有期間 TimeInterval and attribute AutonomousAgent and 人類成人比較多 Integer and 16 少於 Integer and 12 持有期間 TimeInterval and attribute AutonomousAgent and Healthy
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 204-210	例 SelfConnectedObject and 人類成人高度 SelfConnectedObject and 測量 RealNumber and 英寸比較多 RealNumber and 120.0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1270-1278	例 Collection and 一群人會員 CognitiveAgent and Collection 會員 Physical and Collection 例 Physical and 人類寶貝例 CognitiveAgent and 人類成人例 Entity and Crib 在感興趣的範圍內 CognitiveAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5915-5924	例 Human and 人類成人測量 Human and 測量 RealNumber and Pounds bloodVolume Human and 測量 RealNumber and 升等於 RealNumber and 部乘法 RealNumber and 0.07 and 2.33
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 186-192	持有期間 TimePosition and 例 entity and 人類成人年齡 entity and 測量 RealNumber and 年持續時間大於或等於 RealNumber and 18
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 220-224	持有期間 TimePosition and 例 entity and 人類成人持有期間 TimePosition and 發展形式 entity and 完全成型
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 194-202	持有期間 TimePosition and 例 entity and 人類成人 Entity 持有期間 TimePosition and 年齡 entity and Entity 例 Entity and 間隔測量 18 and 年持續時間 and 測量 120 and 年持續時間

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 212-218	例 Entity and Human 持有期間 TimePosition and 年齡 Entity and 測量 RealNumber and 年持續時間大於或等於 RealNumber and 18 持有期間 TimePosition and 例 Entity and 人類成人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 226-232	例 Entity and Human 持有期間 TimePosition and attribute Entity and 完全成型持有期間 TimePosition and 例 Entity and 人類成人
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2883-2892	HotelReservation 也許 have Integer 成人 AutonomousAgent fulfills HotelReservation Collection 例 Collection and 一群人人類成人是 Collection 的 member 類別 Integer 是 Collection 的 member 計數 Collection 是個 potential customer 對於 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2925-2940	HotelReservation 是對於 Integer seniors AutonomousAgent fulfills HotelReservation Collection RealNumber 例 Collection and 一群人 Physical 會員 Physical and Collection 例 Physical and 人類成人年齡 Physical and 測量 RealNumber and 年持續時間大於或等於 RealNumber and 60 Integer 是 Collection 的 member 計數 Collection 是個 potential customer 對於 AutonomousAgent

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