Communication - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Communication

Communication

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3239-3242
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13038-13043
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6304-6304
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13036-13036	劃分 Communication, Stating, 假如, Directing, Committing, Expressing and Declaring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2944-2944	相關的內部概念 Communication and 通訊設備
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13037-13037	相關的內部概念 Communication and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13035-13035	子類 Communication and 內容承載過程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13034-13034	子類 Communication and SocialInteraction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27009-27009	子類 ArtifactMediatedCommunication and Communication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13056-13056	子類 Disseminating and Communication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13108-13108	子類 Expressing and Communication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13091-13091	子類手勢 and Communication
No TPTP formula. May not be expressible in strict first order.	Media.kif 218-218	子類 InPersonCommunication and Communication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1016-1016	子類指示 and Communication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13126-13126	子類語言交流 and Communication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2959-2959	子類致電 and Communication
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1195-1195
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1607-1607
No TPTP formula. May not be expressible in strict first order.	french_format.kif 873-873
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 406-406
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 409-409
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2557-2557
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 825-825
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 411-411
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 445-445
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 894-894
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 410-410

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 577-586	例 EngineeringComponent and CableModem 例 Process and Communication 儀器 Process and EngineeringComponent EngineeringComponent 例 EngineeringComponent and Cable 儀器 Process and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3025-3032	例 Proposition and Proposition 例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Proposition 例 Process and Communication 患者 Process and 內容承載物理代表 Process and Proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13045-13054	例 Process and Communication Entity Entity, AutonomousAgent and Entity 參照 Entity and Entity 患者 Process and Entity 例 AutonomousAgent and CognitiveAgent agent Process and AutonomousAgent 例 Entity and CognitiveAgent 目的地 Process and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1347-1358	工程子組件 EngineeringComponent and 互聯網工程子組件 EngineeringComponent and 互聯網等於 EngineeringComponent and EngineeringComponent 有目的互聯網 and entity 例 entity and Communication agent entity and EngineeringComponent 目的地 entity and EngineeringComponent 儀器 entity and 互聯網
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25093-25114	例 TelecomNumber and Hotline TelecomNumber 是 AutonomousAgent 的 telephone number 例 AutonomousAgent and Organization 有目的 TelecomNumber and entity 例 entity and 致電目的地 entity and AutonomousAgent 模態屬性 entity 例 entity and Communication 儀器 entity and TelecomNumber 等於開始何時 entity and 開始眼前的未來何時 entity and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6427-6431	持有期間 TimePosition and attribute entity and AVPUAlertStatus 持有期間 TimePosition and 能力 entity, agent and Communication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7585-7592	例 AutonomousAgent and 溝通組織 Object Process 例 Process and Communication 例 Object and 通訊系統儀器 Process and Object agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2946-2948	例 Object and 通訊設備能力 Communication, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26399-26405	例 Physical and Document 有目的 Physical and entity 例 entity and Communication 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13289-13300	例 Process and Meeting AutonomousAgent AutonomousAgent agent Process and AutonomousAgent agent Process and AutonomousAgent 有目的 Process and entity 例 entity and Communication agent entity and AutonomousAgent agent entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4235-4249	例 Process and Phishing CognitiveAgent CognitiveAgent, Process and Formula 例 Process and Communication 起源 Process and CognitiveAgent agent Process and CognitiveAgent 目的地 Process and CognitiveAgent 例 Formula and Formula 知道 CognitiveAgent and Formula 慾望 CognitiveAgent and 知道 CognitiveAgent and Formula 慾望 CognitiveAgent and 知道 CognitiveAgent and Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27047-27069	例 Process and OperatorAssistedTelephoneCommunication Object Entity and Physical 起源 Process and Object 目的地 Process and Entity 例 Physical and Human 有目的 Physical and entity 例 entity and IntentionalProcess agent entity and Physical 子過程 entity and Process 持有期間眼前的未來何時 entity and 模態屬性 entity 例 entity and Communication 起源 entity and Object 目的地 entity and Entity and 可能性

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