Guiding - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3066-3067
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11631-11632
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1834-1835
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11629-11629	子類 Guiding and IntentionalProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23416-23416	子類實現控制 and Guiding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4343-4343	子類 AnimalGuiding and Guiding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18542-18542	子類戲劇性的指導 and Guiding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11634-11634	子類 Driving and Guiding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11648-11648	子類 EducationalProcess and Guiding
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 69-69	子類 GuidingMotion and Guiding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10849-10849	子類 Managing and Guiding
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1725-1725	子類 MovingCursor and Guiding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18492-18492	子類 MusicalConducting and Guiding
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 101-101	子類 PhysicalGuiding and Guiding
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2252-2252	子類鐵路運輸控制 and Guiding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10839-10839	子類 RegulatoryProcess and Guiding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23392-23392	子類座席區 and Guiding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23405-23405	子類發信號 and Guiding
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1130-1130
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1477-1477
No TPTP formula. May not be expressible in strict first order.	french_format.kif 808-808
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 340-340
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 343-343
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2492-2492
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 760-760
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 345-345
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 379-379
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 829-829

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 2309-2317	例 GeopoliticalArea and GeopoliticalArea 佔據位置 Human, 領導 and 政府 GeopoliticalArea Process 例 Process and Guiding 患者 Process and GeopoliticalArea agent Process and Human
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1051-1063	例 AutonomousAgent and 導彈例 Process and 飛行患者 Process and AutonomousAgent Process 例 Process and Guiding 患者 Process and Process agent Process and AutonomousAgent 期間何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30760-30771	passenger Transfer and AutonomousAgent 例 Object and 車輛儀器 Transfer and Object Process 期間何時 Process and 何時 Transfer 例 Process and Guiding agent Process and AutonomousAgent 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30733-30746	持有期間 TimePosition and attribute Physical and FlightSteward 有目的 Physical and 持有期間 TimePosition and entity 例 entity and 飛機 entity 例 entity and Guiding agent entity and Physical 儀器 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2739-2747	例 Physical and 動物控制器有目的 Physical and entity entity 例 entity and Guiding 儀器 entity and Physical 例 entity and Animal 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2853-2861	例 Physical and 指揮棒有目的 Physical and entity entity 例 entity and 音樂表演例 entity and Guiding 子過程 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2350-2360	例 Physical and 民政有目的 Physical and entity entity_ACT 例 entity and Guiding 患者 entity and entity_ACT agent Physical and entity 例 entity_ACT and 民事軍事行動例 entity_ACT and 民政活動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2386-2393	例 Physical and 民政活動有目的 Physical and entity entity 例 entity and Guiding 患者 entity and entity 例 entity and 民事軍事行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 290-297	例 Entity and 特別行動 Process AutonomousAgent 例 Process and Guiding 患者 Process and Entity agent Process and AutonomousAgent 例 AutonomousAgent and 特種作戰部隊
No TPTP formula. May not be expressible in strict first order.	Government.kif 2301-2307	佔據位置 Human, 領導 and Organization Process 例 Process and Guiding 患者 Process and Organization agent Process and Human

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

KB Term:			Term intersection

English Word: