Telephoning - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Telephoning

Telephoning(致電)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3027-3030
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 312-312
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3025-3025	子類致電 and Communication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57367-57367
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57366-57366
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57365-57365

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3032-3037	例 Process and 致電 Object 例 Object and 電話儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3039-3047	例 Process and 致電 Process AutonomousAgent 例 Process and 說話子過程 Process and Process agent Process and AutonomousAgent agent Process and AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26212-26233	例 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.	FinancialOntology.kif 3705-3725	AutonomousAgent 是 SymbolicString 的 day 電話電話 entity and RealNumber 電話是 SymbolicString 的 phone 號碼比較多 RealNumber and 6 少於 RealNumber and 18 持有期間例 entity and 小時 RealNumber and Day and entity 例 entity and 致電目的地 entity and AutonomousAgent 患者 entity and 電話擁有 AutonomousAgent and 電話模態屬性 entity 例 entity and 回答中子過程 entity and entity agent entity and AutonomousAgent and 容易
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3749-3769	AutonomousAgent 是 SymbolicString 的 evening 電話電話 entity and RealNumber 電話是 SymbolicString 的 phone 號碼比較多 RealNumber and 18 少於 RealNumber and 6 持有期間例 entity and 小時 RealNumber and Day and entity 例 entity and 致電目的地 entity and AutonomousAgent 患者 entity and 電話擁有 AutonomousAgent and 電話模態屬性 entity 例 entity and 回答中子過程 entity and entity agent entity and AutonomousAgent and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27377-27385	例 Physical and TDDPhone 有目的 Physical and entity entity 例 entity and 致電儀器 entity and Physical agent entity and entity attribute 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