| s__domain(s__KappaFn__m,n__1,s__SymbolicString)
|
Merge.kif 5344-5344 |
The number 1 argument of kappa is an instance of symbolic string |
| s__domain(s__ReverseFn__m,n__1,s__SymbolicString)
|
Media.kif 3032-3032 |
The number 1 argument of the reverse of is an instance of symbolic string |
| s__domain(s__StringConcatenateFn__m,n__1,s__SymbolicString)
|
Mid-level-ontology.kif 22600-22600 |
The number 1 argument of StringConcatenateFn is an instance of symbolic string |
| s__domain(s__StringConcatenateFn__m,n__2,s__SymbolicString)
|
Mid-level-ontology.kif 22601-22601 |
The number 2 argument of StringConcatenateFn is an instance of symbolic string |
| s__domain(s__StringLengthFn__m,n__1,s__SymbolicString)
|
Mid-level-ontology.kif 22572-22572 |
The number 1 argument of StringLengthFn is an instance of symbolic string |
| s__domain(s__SubstringFn__m,n__1,s__SymbolicString)
|
Mid-level-ontology.kif 22542-22542 |
The number 1 argument of SubstringFn is an instance of symbolic string |
| s__domain(s__abbreviatedDisplayTitle__m,n__1,s__SymbolicString)
|
Media.kif 3124-3124 |
The number 1 argument of abbreviatedDisplayTitle is an instance of symbolic string |
| s__domain(s__abbreviation__m,n__1,s__SymbolicString)
|
Mid-level-ontology.kif 25363-25363 |
The number 1 argument of abbreviation is an instance of symbolic string |
| s__domain(s__acronym__m,n__1,s__SymbolicString)
|
Media.kif 3002-3002 |
The number 1 argument of acronym is an instance of symbolic string |
| s__domain(s__agentName__m,n__1,s__SymbolicString)
|
Media.kif 3392-3392 |
The number 1 argument of agentName is an instance of symbolic string |
| s__domain(s__aimOfOrganization__m,n__2,s__SymbolicString)
|
Government.kif 2559-2559 |
The number 2 argument of aim of organization is an instance of symbolic string |
| s__domain(s__alias__m,n__1,s__SymbolicString)
|
Mid-level-ontology.kif 21402-21402 |
The number 1 argument of alias is an instance of symbolic string |
| s__domain(s__alternativeTitle__m,n__1,s__SymbolicString)
|
Media.kif 3092-3092 |
The number 1 argument of alternativeTitle is an instance of symbolic string |
| s__domain(s__canonicalPlaceName__m,n__3,s__SymbolicString)
|
Mid-level-ontology.kif 22707-22707 |
The number 3 argument of canonicalPlaceName is an instance of symbolic string |
| s__domain(s__chanceryAddressInArea__m,n__2,s__SymbolicString)
|
Government.kif 4697-4697 |
The number 2 argument of chancery address in area is an instance of symbolic string |
| s__domain(s__chanceryFAXNumberInArea__m,n__2,s__SymbolicString)
|
Government.kif 4728-4728 |
The number 2 argument of chanceryFAX number in area is an instance of symbolic string |
| s__domain(s__chanceryMailingAddressInArea__m,n__2,s__SymbolicString)
|
Government.kif 4707-4707 |
The number 2 argument of chancery mailing address in area is an instance of symbolic string |
| s__domain(s__chanceryTelephoneNumberInArea__m,n__2,s__SymbolicString)
|
Government.kif 4718-4718 |
The number 2 argument of chancery telephone number in area is an instance of symbolic string |
| s__domain(s__codeMapping__m,n__2,s__SymbolicString)
|
Media.kif 2260-2260 |
The number 2 argument of codeMapping is an instance of symbolic string |
| s__domain(s__comment__m,n__2,s__SymbolicString)
|
Merge.kif 17513-17513 |
The number 2 argument of comment is an instance of symbolic string |
| s__domain(s__comment__m,n__3,s__SymbolicString)
|
Merge.kif 17514-17514 |
The number 3 argument of comment is an instance of symbolic string |
| s__domain(s__componentDataID__m,n__5,s__SymbolicString)
|
QoSontology.kif 899-899 |
The number 5 argument of component data ID is an instance of symbolic string |
| s__domain(s__confirmationNumber__m,n__2,s__SymbolicString)
|
FinancialOntology.kif 3770-3770 |
The number 2 argument of confirmation number is an instance of symbolic string |
| s__domain(s__conventionalLongName__m,n__1,s__SymbolicString)
|
Mid-level-ontology.kif 25346-25346 |
The number 1 argument of conventional long name is an instance of symbolic string |
| s__domain(s__conventionalShortName__m,n__1,s__SymbolicString)
|
Mid-level-ontology.kif 25358-25358 |
The number 1 argument of conventional short name is an instance of symbolic string |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
