RecreationOrExercise - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RecreationOrExercise

RecreationOrExercise

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2937-2941
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10525-10533
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1689-1694
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10523-10523	子類 RecreationOrExercise and IntentionalProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 559-559	子類 FitnessExercise and RecreationOrExercise
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13373-13373	子類 Game and RecreationOrExercise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16067-16067	子類抽煙 and RecreationOrExercise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15984-15984	子類社交聚會 and RecreationOrExercise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20447-20447	子類度假 and RecreationOrExercise
No TPTP formula. May not be expressible in strict first order.	Sports.kif 560-560	子類 Yoga and RecreationOrExercise
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1093-1093
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1397-1397
No TPTP formula. May not be expressible in strict first order.	french_format.kif 771-771
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 303-303
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 306-306
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2455-2455
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 723-723
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 342-342
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 792-792
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 307-307

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.	Medicine.kif 1500-1512	持有期間 TimeInterval and attribute AutonomousAgent and ChronicFatigueSyndrome 例 Process and RecreationOrExercise agent Process and AutonomousAgent 期間何時 Process and TimeInterval 模態屬性持有期間 TimeInterval and attribute AutonomousAgent and PostExertionalMalaise 早期何時 Process and TimeInterval and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8243-8257	例 Process and RecreationOrExercise 儀器 Process and ProcessM 例 ProcessM and RowingMachine 體驗者 Process and AutonomousAgent 例 ProcessOW and 划船子過程 ProcessMOT and Process 子類 Class and BodyMotion 例 ProcessMOT and Class ProcessOWMOT 例 ProcessOWMOT and Class 子過程 ProcessOWMOT and Process agent ProcessOWMOT and AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8154-8162	例耕地面積 and 園林栽種於 Plant and 耕地面積有目的耕地面積 and entity 例 entity and RecreationOrExercise entity 是 located 在耕地面積
No TPTP formula. May not be expressible in strict first order.	naics.kif 8528-8549	例 Collection and Organization attribute Collection and 景區和觀光交通 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity 例 entity and Transportation 例 entity and RecreationOrExercise 患者 entity and CognitiveAgent 擁有 Collection and entity 例 entity and 車輛, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 11456-11468	例 AutonomousAgent and 票擁有 AutonomousAgent and Object CognitiveAgent 是由 AutonomousAgent 的 issued attribute CognitiveAgent and 娛樂賭博和娛樂業位於 CognitiveAgent and Object CognitiveAgent confers 規範 entity 例 entity and RecreationOrExercise 體驗者 entity and Object entity 是 located 在 Object 對於允許
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 342-357	restingBreathingRate Mammal and Integer 例 Object and 肺部分 Object and Mammal TimeInterval IntegerEC 例 IntegerEC and RecreationOrExercise agent IntegerEC and Mammal 期間 TimeInterval and 何時 IntegerEC 例 TimeInterval and Minute breathingRate Mammal, TimeInterval and Integer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 122-136	restingHeartRate Mammal and Integer 例 MammalEART and 心部分 MammalEART and Mammal TimeInterval IntegerEC 例 IntegerEC and RecreationOrExercise agent IntegerEC and Mammal 期間 TimeInterval and 何時 IntegerEC 例 TimeInterval and Minute heartRate Mammal, TimeInterval and Integer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1469-1477	持有期間 TimeInterval and attribute entity and PostExertionalMalaise Process 例 Process and RecreationOrExercise agent Process and AutonomousAgent 早期何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22394-22400	例 Physical and 娛樂建築有目的 Physical and entity 例 entity and RecreationOrExercise entity 是 located 在 Physical
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2471-2480	例 Physical and 遊輪有目的 Physical and entity entity and entity 例 entity and RecreationOrExercise 擁有 entity and Physical agent entity and entity entity 是 entity 的 customer entity 是 located 在 Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2377-2383	例 Physical and 娛樂或運動器材有目的 Physical and entity 例 entity and RecreationOrExercise 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1027-1033	例 Physical and MiniatureGolf 有目的 Physical and entity 例 entity and RecreationOrExercise entity 是 located 在 Physical
No TPTP formula. May not be expressible in strict first order.	Dining.kif 987-995	例 Physical and PlayArea 有目的 Physical and entity entity 例 entity and RecreationOrExercise entity 是 located 在 Physical 例 entity and 人類的孩子 agent entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8108-8114	例 Physical and 公園有目的 Physical and entity 例 entity and RecreationOrExercise entity 是 located 在 Physical

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