TreeView Knowledge Base Browser - telephoneNumber

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

telephoneNumber

Sigma KEE - telephoneNumber

telephoneNumber

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24987-24988
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24985-24985	电话号码的 1 数量是 TelecomNumber 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24986-24986	电话号码的 2 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24984-24984	电话号码是非对称关系的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24983-24983	电话号码是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4766-4766
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4765-4765
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4764-4764
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25019-25019	homePhoneNumber 是电话号码的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25119-25119	mobilePhoneNumber 是电话号码的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24999-24999	personalPhoneNumber 是电话号码的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25049-25049	workPhoneNumber 是电话号码的 subrelation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57320-57320
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57319-57319
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57318-57318

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25034-25043	如果实体是人类的 instance 和另一个实体有 number 第三实体和那个第三实体是那个实体的 telephone number 和那个另外实体是 located 在第四实体和那个第四实体是住宅的 instance 在时间位置 holdsDuring，然后那个实体住在那个第四实体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25132-25139	如果实体是移动手机的 instance 和那个实体有 number 另一个实体和那个另外实体是第三实体的 telephone number 在时间位置 holdsDuring，然后那个第三实体的 mobile number 是那个另外实体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25092-25113	如果 TelecomNumber 是 Hotline 的 instance 和那个 TelecomNumber 是施事体的 telephone number 和那个施事体是机构的 instance，然后那个 TelecomNumber 的目的是有存在实体这样那个实体是致电的 instance 和那个实体在那个施事体结束和有存在另一个实体这样那个另外实体是沟通的 instance 和那个 TelecomNumber 是导致那个另外实体的 instrument 和那个另外实体出现的 time 的开始 equal 紧接那个实体出现的 time after 的开始的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24990-24992	如果 TelecomNumber 是施事体的 telephone number ，然后那个施事体能是 contacted 在那个 TelecomNumber

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25006-25013	如果实体是电话的 instance 和另一个实体 possesses 那个实体和那个实体有 number 第三实体在时间位置 holdsDuring，然后那个第三实体是那个另外实体的 telephone number 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27095-27106	如果客体是 TelephoneCommunication 的 instance 和 Local 是那个客体的 attribute，然后有存在 TelecomNumber，另一个 TelecomNumber,，，施事体,，，另一个施事体， and 和符号串这样那个施事体是那个客体的源头和那个客体在那个另外施事体结束和那个 TelecomNumber 是那个施事体的 telephone number 和那个另外 TelecomNumber 是那个另外施事体的 telephone number 和 area code 在那个 TelecomNumber 是那个符号串和 area code 在那个另外 TelecomNumber 是那个符号串

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