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

Formal Language: 



KB Term:  Term intersection
English Word: 

  names

Sigma KEE - names
names

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2158-2161
No TPTP formula. May not be expressible in strict first order. Merge.kif 4429-4433
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 815-819
No TPTP formula. May not be expressible in strict first order. Merge.kif 4426-4426 O argumento numero 1 de names e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Merge.kif 4427-4427 O argumento numero 2 de names e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 4425-4425 names e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 4424-4424 names e' uma sub-relacao de refers

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 309-309
No TPTP formula. May not be expressible in strict first order. english_format.kif 314-314
No TPTP formula. May not be expressible in strict first order. french_format.kif 177-177
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1997-1997
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 129-129
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 197-197
No TPTP formula. May not be expressible in strict first order. Media.kif 3406-3406 agentName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23529-23529 alias e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27515-27515 conventionalLongName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27526-27526 conventionalShortName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14975-14975 familyName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2311-2311 filename e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14968-14968 formerName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order. Media.kif 3272-3272 fullName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14992-14992 givenName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15007-15007 localLongName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15012-15012 localShortName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14988-14988 middleName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order. Media.kif 3319-3319 nameIndexOrder e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2201-2201 password e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14955-14955 titles e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order. Merge.kif 4435-4435 uniqueIdentifier e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2164-2164 userName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39702-39702 userName e' uma sub-relacao de names

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 3388-3393
No TPTP formula. May not be expressible in strict first order. Media.kif 3356-3362
No TPTP formula. May not be expressible in strict first order. Media.kif 3321-3326
No TPTP formula. May not be expressible in strict first order. Media.kif 3411-3415
No TPTP formula. May not be expressible in strict first order. Media.kif 3428-3432
No TPTP formula. May not be expressible in strict first order. Media.kif 3462-3466

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13313-13318
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24952-24963
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24965-24975
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24904-24906
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3206-3214
No TPTP formula. May not be expressible in strict first order. Media.kif 31-33

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2506-2509 Serbia se chama nome "Republic of Serbia" Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Media.kif 2533-2536 Posicao Temporal e' uma instancia de o dia 3 Montenegro se chama nome "Montenegro" vale durante apos Posicao Temporal

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 962-962 AutonomousMobileRobot se chama nome "AMR"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2495-2495 AdanaTurkey se chama nome "Adana"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2497-2497 AddisAbabaEthiopia se chama nome "Addis Ababa"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2499-2499 AdenYemen se chama nome "Aden"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2501-2501 AdoraWestBank se chama nome "Adora"
No TPTP formula. May not be expressible in strict first order. Economy.kif 352-352 AdvancedDevelopingCountry se chama nome "Advanced Developing Country"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4160-4160 Afghanistan se chama nome "Afghanistan"
No TPTP formula. May not be expressible in strict first order. Geography.kif 3510-3510 Africa se chama nome "Africa"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2503-2503 AfulaIsrael se chama nome "Afula"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2505-2505 AgriTurkey se chama nome "Agri"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2507-2507 AinDeflaAlgeria se chama nome "Ain Defla"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2509-2509 AinElHajarAlgeria se chama nome "Ain el Hajar"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2511-2511 AjaccioFrance se chama nome "Ajaccio"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2513-2513 AlBalamandLebanon se chama nome "Al_Balamand "
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4064-4064 Albania se chama nome "Albania"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2515-2515 AleiSinaiGazaStrip se chama nome "Alei Sinai"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2517-2517 AleiZahavWestBank se chama nome "Alei Zahav"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2519-2519 AleyLebanon se chama nome "Aley"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3946-3946 Algeria se chama nome "Algeria"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2521-2521 AlgiersAlgeria se chama nome "Algiers"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2523-2523 AlkhanYurtRussia se chama nome "Alkhan_Yurt"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2525-2525 AlonMorehWestBank se chama nome "Alon Moreh"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2527-2527 AmbonIndonesia se chama nome "Ambon"
No TPTP formula. May not be expressible in strict first order. Sports.kif 813-813 FootballUS se chama nome "American Football"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4194-4194 AmericanSamoa se chama nome "American Samoa"

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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