Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ClosedWorldPredicate

 Sigma KEE - telephoneNumber
telephoneNumber

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24988-24989
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24986-24986 Le nombre 1 argument de telephoneNumber est une instance de TelecomNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24987-24987 Le nombre 2 argument de telephoneNumber est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24985-24985 telephoneNumber est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24984-24984 telephoneNumber est une instance de pr�dicat binaire

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 25020-25020 homePhoneNumber est une sous-relation de telephoneNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25120-25120 mobilePhoneNumber est une sous-relation de telephoneNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25000-25000 personalPhoneNumber est une sous-relation de telephoneNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25050-25050 workPhoneNumber est une sous-relation de telephoneNumber
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 25035-25044
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25133-25140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25093-25114
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24991-24993

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25007-25014
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27107-27118


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