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

Formal Language: 



KB Term:  Term intersection
English Word: 

  successorAttribute

 Sigma KEE - successorAttribute
successorAttribute

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1536-1537
No TPTP formula. May not be expressible in strict first order. Merge.kif 707-709
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 102-103
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 119-121
No TPTP formula. May not be expressible in strict first order. Merge.kif 704-704 Le nombre 1 argument de successorAttribute est une instance de attribut
No TPTP formula. May not be expressible in strict first order. Merge.kif 705-705 Le nombre 2 argument de successorAttribute est une instance de attribut
No TPTP formula. May not be expressible in strict first order. Merge.kif 703-703 successorAttribute est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Merge.kif 702-702 successorAttribute est une instance de pr�dicat binaire

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 684-684 subAttribute et successorAttribute sont disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 323-323
No TPTP formula. May not be expressible in strict first order. english_format.kif 328-328
No TPTP formula. May not be expressible in strict first order. french_format.kif 184-184
No TPTP formula. May not be expressible in strict first order. relations-it.txt 286-286
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2004-2004
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 136-136
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 195-195
No TPTP formula. May not be expressible in strict first order. relations-de.txt 425-425
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 323-323
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 204-204
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 194-194
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 478-478
No TPTP formula. May not be expressible in strict first order. Merge.kif 732-732 successorAttributeClosure est reli� � l'int�rieur de SUMO � successorAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 9022-9022 successorClass est reli� � l'int�rieur de SUMO � successorAttribute
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 324-324
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55885-55885
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55884-55884
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55883-55883

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 739-741

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 373-373 BeaufortNumber0 est un attribut successeur imm�diat de BeaufortNumber1
No TPTP formula. May not be expressible in strict first order. Weather.kif 382-382 BeaufortNumber1 est un attribut successeur imm�diat de BeaufortNumber2
No TPTP formula. May not be expressible in strict first order. Weather.kif 464-464 BeaufortNumber10 est un attribut successeur imm�diat de BeaufortNumber11
No TPTP formula. May not be expressible in strict first order. Weather.kif 473-473 BeaufortNumber11 est un attribut successeur imm�diat de BeaufortNumber12
No TPTP formula. May not be expressible in strict first order. Weather.kif 391-391 BeaufortNumber2 est un attribut successeur imm�diat de BeaufortNumber3
No TPTP formula. May not be expressible in strict first order. Weather.kif 401-401 BeaufortNumber3 est un attribut successeur imm�diat de BeaufortNumber4
No TPTP formula. May not be expressible in strict first order. Weather.kif 410-410 BeaufortNumber4 est un attribut successeur imm�diat de BeaufortNumber5
No TPTP formula. May not be expressible in strict first order. Weather.kif 419-419 BeaufortNumber5 est un attribut successeur imm�diat de BeaufortNumber6
No TPTP formula. May not be expressible in strict first order. Weather.kif 428-428 BeaufortNumber6 est un attribut successeur imm�diat de BeaufortNumber7
No TPTP formula. May not be expressible in strict first order. Weather.kif 437-437 BeaufortNumber7 est un attribut successeur imm�diat de BeaufortNumber8
No TPTP formula. May not be expressible in strict first order. Weather.kif 446-446 BeaufortNumber8 est un attribut successeur imm�diat de BeaufortNumber9
No TPTP formula. May not be expressible in strict first order. Weather.kif 455-455 BeaufortNumber9 est un attribut successeur imm�diat de BeaufortNumber10
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25708-25708 ColdTemperature est un attribut successeur imm�diat de CoolTemperature
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25714-25714 CoolTemperature est un attribut successeur imm�diat de WarmTemperature
No TPTP formula. May not be expressible in strict first order. Economy.kif 517-517 CountryInTransition est un attribut successeur imm�diat de AdvancedEconomy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1001-1001 DeluxeRoom est un attribut successeur imm�diat de Suite
No TPTP formula. May not be expressible in strict first order. Economy.kif 516-516 DevelopingCountry est un attribut successeur imm�diat de CountryInTransition
No TPTP formula. May not be expressible in strict first order. Weather.kif 2150-2150 EF0 est un attribut successeur imm�diat de EF1
No TPTP formula. May not be expressible in strict first order. Weather.kif 2158-2158 EF1 est un attribut successeur imm�diat de EF2
No TPTP formula. May not be expressible in strict first order. Weather.kif 2166-2166 EF2 est un attribut successeur imm�diat de EF3
No TPTP formula. May not be expressible in strict first order. Weather.kif 2174-2174 EF3 est un attribut successeur imm�diat de EF4
No TPTP formula. May not be expressible in strict first order. Weather.kif 2182-2182 EF4 est un attribut successeur imm�diat de EF5
No TPTP formula. May not be expressible in strict first order. Economy.kif 187-187 FormerSovietOrEasternEuropeanCountry est un attribut successeur imm�diat de DevelopedCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 209-209 LessDevelopedCountry est un attribut successeur imm�diat de FormerSovietOrEasternEuropeanCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 426-426 LowIncomeCountry est un attribut successeur imm�diat de LowerMiddleIncomeCountry

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