TreeView Knowledge Base Browser - mobilePhoneNumber

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

mobilePhoneNumber

Sigma KEE - mobilePhoneNumber

mobilePhoneNumber

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25120-25123
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25117-25117	O argumento numero 1 de mobilePhoneNumber e' uma instancia de TelecomNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25118-25118	O argumento numero 2 de mobilePhoneNumber e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25116-25116	mobilePhoneNumber e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25115-25115	mobilePhoneNumber e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25119-25119	mobilePhoneNumber e' uma sub-relacao de telephoneNumber

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3870-3870
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3869-3869
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3868-3868
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65879-65879

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25141-25147	deviceTelecomNumber Entidade and Entidade Entidade e' uma instancia de MobileCellPhone mobilePhoneNumber Entidade and Entidade vale durante Posicao Temporal Entidade possui Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25125-25130	deviceTelecomNumber Entidade and Entidade mobilePhoneNumber Entidade and Entidade vale durante Posicao Temporal Entidade e' uma instancia de MobileCellPhone

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 25132-25139

Entidade e' uma instancia de MobileCellPhone deviceTelecomNumber Entidade and Entidade telephoneNumber Entidade and Entidade vale durante Posicao Temporal
mobilePhoneNumber Entidade and Entidade vale durante Posicao Temporal

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