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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 679-681
No TPTP formula. May not be expressible in strict first order. Merge.kif 676-676 The number 1 argument of successor attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 677-677 The number 2 argument of successor attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 675-675 successor attribute is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 674-674 successor attribute is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 656-656 sub attribute and successor attribute are 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 331-331
No TPTP formula. May not be expressible in strict first order. Merge.kif 698-698 successor attribute closure is internally related to successor attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 8307-8307 successorClass is internally related to successor attribute
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 324-324 "后续属性" is the printable form of successor attribute in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55831-55831 "继承属性" is the printable form of successor attribute in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55830-55830 "繼承屬性" is the printable form of successor attribute in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55829-55829 "successor attribute" is the printable form of successor attribute in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 683-690
No TPTP formula. May not be expressible in strict first order. Merge.kif 705-707

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 336-336 Beaufort number eight is an immediate successor attribute of beaufort number nine
No TPTP formula. May not be expressible in strict first order. Weather.kif 342-342 Beaufort number eleven is an immediate successor attribute of beaufort number twelve
No TPTP formula. May not be expressible in strict first order. Weather.kif 330-330 Beaufort number five is an immediate successor attribute of beaufort number six
No TPTP formula. May not be expressible in strict first order. Weather.kif 328-328 Beaufort number four is an immediate successor attribute of beaufort number five
No TPTP formula. May not be expressible in strict first order. Weather.kif 338-338 Beaufort number nine is an immediate successor attribute of beaufort number ten
No TPTP formula. May not be expressible in strict first order. Weather.kif 322-322 Beaufort number one is an immediate successor attribute of beaufort number two
No TPTP formula. May not be expressible in strict first order. Weather.kif 334-334 Beaufort number seven is an immediate successor attribute of beaufort number eight
No TPTP formula. May not be expressible in strict first order. Weather.kif 332-332 Beaufort number six is an immediate successor attribute of beaufort number seven
No TPTP formula. May not be expressible in strict first order. Weather.kif 340-340 Beaufort number ten is an immediate successor attribute of beaufort number eleven
No TPTP formula. May not be expressible in strict first order. Weather.kif 326-326 Beaufort number three is an immediate successor attribute of beaufort number four
No TPTP formula. May not be expressible in strict first order. Weather.kif 324-324 Beaufort number two is an immediate successor attribute of beaufort number three
No TPTP formula. May not be expressible in strict first order. Weather.kif 320-320 BeaufortNumberZero is an immediate successor attribute of beaufort number one
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23532-23532 Cold is an immediate successor attribute of cool
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23538-23538 Cool is an immediate successor attribute of warm
No TPTP formula. May not be expressible in strict first order. Economy.kif 512-512 Country in transition is an immediate successor attribute of advanced economy
No TPTP formula. May not be expressible in strict first order. Hotel.kif 971-971 Deluxe room is an immediate successor attribute of suite
No TPTP formula. May not be expressible in strict first order. Economy.kif 511-511 Developing country is an immediate successor attribute of country in transition
No TPTP formula. May not be expressible in strict first order. Economy.kif 187-187 Former soviet or eastern european country is an immediate successor attribute of developed country
No TPTP formula. May not be expressible in strict first order. Economy.kif 209-209 Less developed country is an immediate successor attribute of former soviet or eastern european country
No TPTP formula. May not be expressible in strict first order. Economy.kif 426-426 Low income country is an immediate successor attribute of lower middle income country
No TPTP formula. May not be expressible in strict first order. Economy.kif 427-427 Lower middle income country is an immediate successor attribute of upper middle income country
No TPTP formula. May not be expressible in strict first order. Merge.kif 16681-16681 Non fully formed is an immediate successor attribute of fully formed
No TPTP formula. May not be expressible in strict first order. Hotel.kif 965-965 Standard room is an immediate successor attribute of deluxe room
No TPTP formula. May not be expressible in strict first order. Military.kif 358-358 US military rank e1 is an immediate successor attribute of US military rank e2
No TPTP formula. May not be expressible in strict first order. Military.kif 371-371 US military rank e2 is an immediate successor attribute of US military rank e3

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners