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	The number 1 argument of telephone number is an instance of telecom number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24986-24986	The number 2 argument of telephone number is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24984-24984	telephone number is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24983-24983	telephone number is an instance of binary predicate

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	home phone number is a subrelation of telephone number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25119-25119	mobile phone number is a subrelation of telephone number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24999-24999	personal phone number is a subrelation of telephone number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25049-25049	work phone number is a subrelation of telephone number
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	If an entity is an instance of human and another entity has number a third entity and the third entity is the telephone number of the entity and the other entity is located at a fourth entity and the fourth entity is an instance of residence holds during a time position, then the entity lives in the fourth entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25132-25139	If an entity is an instance of mobile cell phone and the entity has number another entity and the other entity is the telephone number of a third entity holds during a time position, then the mobile number of the third entity is the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25092-25113	If a telecom number is an instance of hotline and the telecom number is the telephone number of an agent and the agent is an instance of organization, then the telecom number has the purpose there exists an entity such that the entity is an instance of telephoning and the entity ends up at the agent and the statement there exists another entity such that the other entity is an instance of communication and the telecom number is an instrument for the other entity and the beginning of the time of existence of the other entity is equal to the beginning of immediately after the time of existence of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24990-24992	If a telecom number is the telephone number of an agent, then the agent can be contacted at the telecom number

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25006-25013	If an entity is an instance of telephone and another entity possesses the entity and the entity has number a third entity holds during a time position, then the third entity is the telephone number of the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27095-27106	If an object is an instance of telephone communication and local is an attribute of the object, then there exist a telecom number, another telecom number,, , an agent,, , another agent and a symbolic string such that the object originates at the agent and the object ends up at the other agent and the telecom number is the telephone number of the agent and the other telecom number is the telephone number of the other agent and the area code in the telecom number is the symbolic string and the area code in the other telecom number is the symbolic string

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