TreeView Knowledge Base Browser

appearance as argument number 1

(subclass SportsPosition SkilledOccupation)	Mid-level-ontology.kif 20866-20866	Sports position is a subclass of skilled occupation
(documentation SportsPosition EnglishLanguage "A Position which is filled by someone on a SportsTeam and which represents the role played by the person on the team.")	Mid-level-ontology.kif 20867-20868	Sports position is a subclass of skilled occupation

appearance as argument number 2

(termFormat EnglishLanguage SportsPosition "sports position")	domainEnglishFormat.kif 54775-54775
(termFormat ChineseTraditionalLanguage SportsPosition "體育位置")	domainEnglishFormat.kif 54776-54776
(termFormat ChineseLanguage SportsPosition "体育位置")	domainEnglishFormat.kif 54777-54777

antecedent

(=>
    (and
        (occupiesPosition ?H ?P ?O)
        (instance ?P SportsPosition))
    (instance ?O SportsTeam))

If X holds the position of Y in Z and Y is an instance of sports position, then Z is an instance of sports team